VDict - Definition of type constructor function

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

constructor algebraic data type injection constructed type derived type tuple polymorphic lambda-calculus instantiation functor type inference codomain function pattern matching partial function generic type variable total function C++ tail recursion modulo cons monad destructor type typed lambda-calculus lazy list polymorphism tn3270 Liskov substitution principle higher-order function Cantor FL fix Boolean hash function standard semantics curried function Russell's Paradox subtype principal type occurs check Run-Time Type Information linear function strength reduction bracket abstraction implicit type conversion one-way hash function least fixed point Liana inline argument recursive type trap-door function axiomatic semantics cproto applicative order reduction metric space space leak one-way function Church integer Advanced Communication Function/Network Control Program Haskell interpolation more...